n-ary predicate

n元述词